type T<U> = U;